Nuprl Definition : p-outcome 11,40

p-outcome(p) == int_seg(0; ||p||) 
latex


Definitionsint_seg(ij), #$n, ||as||
FDL editor aliasesp-outcome

origin